Teoremen frogapen automatiko

Démonstration automatique de théorèmes - procédé de démonstration par ordinateur. L'article "Teoremen frogapen automatiko" sur Wikipédia en basque a 11.5 points pour la qualité (au 1 août 2024). L'article contient 0 références et 8 sections.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Teoremen frogapen automatiko", son contenu a été rédigé par 6 utilisateurs enregistrés de Wikipédia en basque et édité par 433 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 4 fois dans Wikipédia en basque et cité 1209 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (basque): n° 104 en novembre 2017
• Mondial: n° 159 en novembre 2001

Le classement de popularité le plus élevé depuis 2008:

• Local (basque): n° 4902 en novembre 2017
• Mondial: n° 76366 en août 2008

Il existe 18 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Automated theorem proving		39.4863
2	portugais (pt) Prova automática de teoremas		34.3326
3	japonais (ja) 自動定理証明		22.9521
4	italien (it) Dimostrazione automatica di teoremi		20.3953
5	serbe (sr) Automatsko dokazivanje teorema		20.1405
6	espagnol (es) Demostración automática de teoremas		14.509
7	basque (eu) Teoremen frogapen automatiko		11.4527
8	polonais (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	russe (ru) Автоматическое доказательство		8.8433
10	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		8.2056

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Teoremen frogapen automatiko" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		1 013 140
2	espagnol (es) Demostración automática de teoremas		161 826
3	japonais (ja) 自動定理証明		97 457
4	russe (ru) Автоматическое доказательство		84 998
5	polonais (pl) Automatyczne dowodzenie twierdzeń		64 193
6	chinois (zh) 自動化定理證明		33 880
7	français (fr) Démonstration automatique de théorèmes		29 520
8	portugais (pt) Prova automática de teoremas		19 296
9	italien (it) Dimostrazione automatica di teoremi		11 984
10	persan (fa) اثبات قضیه خودکار		11 542

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Teoremen frogapen automatiko" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		4 735
2	japonais (ja) 自動定理証明		374
3	russe (ru) Автоматическое доказательство		227
4	chinois (zh) 自動化定理證明		216
5	espagnol (es) Demostración automática de teoremas		118
6	italien (it) Dimostrazione automatica di teoremi		99
7	français (fr) Démonstration automatique de théorèmes		92
8	polonais (pl) Automatyczne dowodzenie twierdzeń		70
9	persan (fa) اثبات قضیه خودکار		58
10	serbe (sr) Automatsko dokazivanje teorema		56

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Teoremen frogapen automatiko" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Automated theorem proving		214
2	espagnol (es) Demostración automática de teoremas		35
3	français (fr) Démonstration automatique de théorèmes		27
4	japonais (ja) 自動定理証明		27
5	polonais (pl) Automatyczne dowodzenie twierdzeń		25
6	russe (ru) Автоматическое доказательство		22
7	italien (it) Dimostrazione automatica di teoremi		19
8	portugais (pt) Prova automática de teoremas		16
9	chinois (zh) 自動化定理證明		13
10	ukrainien (uk) Автоматизоване доведення теорем		9

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Teoremen frogapen automatiko" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	serbe (sr) Automatsko dokazivanje teorema		1
2	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		0
3	anglais (en) Automated theorem proving		0
4	espagnol (es) Demostración automática de teoremas		0
5	basque (eu) Teoremen frogapen automatiko		0
6	persan (fa) اثبات قضیه خودکار		0
7	français (fr) Démonstration automatique de théorèmes		0
8	arménien (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	italien (it) Dimostrazione automatica di teoremi		0
10	japonais (ja) 自動定理証明		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Teoremen frogapen automatiko" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Automated theorem proving		729
2	chinois (zh) 自動化定理證明		75
3	russe (ru) Автоматическое доказательство		68
4	japonais (ja) 自動定理証明		55
5	français (fr) Démonstration automatique de théorèmes		54
6	espagnol (es) Demostración automática de teoremas		51
7	ukrainien (uk) Автоматизоване доведення теорем		38
8	polonais (pl) Automatyczne dowodzenie twierdzeń		33
9	portugais (pt) Prova automática de teoremas		26
10	persan (fa) اثبات قضیه خودکار		23

Plus...

#	Langue	Valeur
az	azerbaïdjanais Teoremlərin avtomatik sübutu
en	anglais Automated theorem proving
es	espagnol Demostración automática de teoremas
eu	basque Teoremen frogapen automatiko
fa	persan اثبات قضیه خودکار
fr	français Démonstration automatique de théorèmes
hy	arménien Թեորեմների ավտոմատացված ապացուցում
it	italien Dimostrazione automatica di teoremi
ja	japonais 自動定理証明
ko	coréen 자동 정리 증명
pl	polonais Automatyczne dowodzenie twierdzeń
pt	portugais Prova automática de teoremas
ru	russe Автоматическое доказательство
sr	serbe Automatsko dokazivanje teorema
th	thaï การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	turc Otomatik teorem kanıtlama
uk	ukrainien Автоматизоване доведення теорем
zh	chinois 自動化定理證明

Meilleur rang

basque: n° 4902 11.2017

Mondial: n° 76366 08.2008

Meilleur rang

basque: n° 104 11.2017

Mondial: n° 159 11.2001

Au 30 septembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Lyle et Erik Menéndez, Kris Kristofferson, Hezbollah, Sean Combs, Dikembe Mutombo, Liban, Hassan Nasrallah, Maggie Smith, John Ashton, Aaliyah.

Sur Wikipédia en basque, les articles les plus populaires ce jour-là étaient: Manuel de Pedrolo, Adam Price, Txomin Aurrekoetxea, Peio Canales, Sorgin, Txikipedia, Lauren Price, Miren Arrieta, Eremu natural, Euskarazko Wikipedia (webgunea).

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information